Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
✏️ Operational Transform
CRDT, Collaborative Editing, Distributed Systems, Concurrency
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
76525
posts in
661.9
ms
Claude Code
solves
Context Rot and works Session
Persistence
dev.to
·
23h
·
Discuss:
DEV
⚛️
Calvin
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
1d
📐
TLA+
The Agentic
Inversion
Principle
mikebrevoort.com
·
21h
·
Discuss:
Hacker News
⚓
Anchors
FOSDEM
2026
hack.org
·
17h
🥑
Avro
Automating
busy
work
thomasrigby.com
·
1h
🤖
Automation
How One System
Feeds
Everything I Do: From
Scattered
Chaos to Unified Creation
dsebastien.net
·
1d
🎨
Design Systems
The ‘Super Bowl’ standard:
Architecting
distributed systems for massive
concurrency
infoworld.com
·
2d
📡
Event-Driven Architecture
4 Windows tools I
replaced
with a single Linux
VM
xda-developers.com
·
13m
🐧
Linux
Teleportal
: A real-time
collaborative
editing framework
pckt.blog
·
1d
·
Discuss:
Hacker News
📹
WebRTC
Declarative
,
Reproducible
Emacs
irreal.org
·
1h
🦀
Rust Macros
A
Tale
of Two
Centaurs
ok-dev.eu
·
1h
⚓
Anchors
DCP-o-matic • Re: CPL as
compositions
and multiple
CPLs
dcpomatic.com
·
16h
🧮
Algebraic Effects
Concurrency Flavours --
Lucian
Radu
Teodorescu
: Standard C++
isocpp.org
·
2d
🔄
Concurrency
EqPad
: A Calculator-Style Equation Editor for
LaTeX
, Markdown, and PNG
eqpad.kttin.net
·
3h
·
Discuss:
DEV
🖥️
Ratatui
Towards
Advancing
Research with Workflows: A perspective from the Workflows Community Summit --
Amsterdam
, 2025
arxiv.org
·
1d
⏱️
Temporal Workflow
Project Management Built for Engineering Teams
velocity.quest
·
2h
·
Discuss:
Hacker News
👥
Engineering Management
On The
Crank
Spectrum
exple.tive.org
·
17h
⚡
LMAX Disruptor
Weeknotes
2026-W06
› Project
Pterodactyl
: incremental architecture
jonmsterling.com
·
1h
·
Discuss:
Hacker News
⚡
Incremental Computation
Microsoft Teams is finally ditching the
clutter
with a simple fix —
streamlining
meetings with better collaboration
windowscentral.com
·
1d
🔄
Virtual Synchrony
Karel
on X: "I spent $10,000 to automate my research at OpenAI with
Codex
"
x.com
·
8h
·
Discuss:
X
📚
Technical Writing
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help